<html>
<body>
Checks that <code>match</code> expression is exhaustive, i.e. all possible patterns are covered.
</body>
</html>
